#include "IoQueue.h"

VOID EvtWdfIoQueueIoDeviceControl(
    WDFQUEUE Queue,
    WDFREQUEST Request,
    size_t OutputBufferLength,
    size_t InputBufferLength,
    ULONG IoControlCode
)
{
    UNREFERENCED_PARAMETER(Queue);
    UNREFERENCED_PARAMETER(Request);
    UNREFERENCED_PARAMETER(OutputBufferLength);
    UNREFERENCED_PARAMETER(InputBufferLength);
    UNREFERENCED_PARAMETER(IoControlCode);

    NTSTATUS ntStatus = STATUS_SUCCESS;
    WDFMEMORY WdfMemory;
    PVOID lpBuff = NULL;

    ntStatus = WdfRequestRetrieveInputMemory(Request, &WdfMemory);
    if (NT_SUCCESS(ntStatus))
    {
        lpBuff = WdfMemoryGetBuffer(WdfMemory, NULL);
    }

    WdfRequestComplete(Request, ntStatus);
}